Interpreting membership functions: A constructive approach
نویسندگان
چکیده
منابع مشابه
An Approach for Accurate Edging using Dynamic Membership Functions
In this paper, by means of fuzzy approaches, an accurate method is introduced for edging of color photographs. The difference between our method with other similar methods is the use of a morphological operation to think or thick the obtained edges. In this proposed method, a 3×3 window is dragged on the photo. For each block, 12 point sets will be defined, each including two non-overlapping po...
متن کاملan approach for accurate edging using dynamic membership functions
in this paper, by means of fuzzy approaches, an accurate method is introduced for edging of color photographs. the difference between our method with other similar methods is the use of a morphological operation to think or thick the obtained edges. in this proposed method, a 3×3 window is dragged on the photo. for each block, 12 point sets will be defined, each including two non-overlapping po...
متن کاملConstructive Membership Predicates as Index Types
In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we motivate and explore this idea in the concrete setting of lists and trees. We show that the inhabitants of membership predicates are precisely the inhabitants of a generic shape type. We show that membership of x (of typ...
متن کاملConstructive membership in black-box groups
We present an algorithm to reduce the constructive membership problem for a black-box group G to three instances of the same problem for involution centralisers in G. If G is a simple group of Lie type in odd characteristic, then this reduction can be performed in (Monte Carlo) polynomial time.
متن کاملConstructive Membership and Indexes in Trees
Trees carrying information stored in their nodes are a fundamental abstract data type. Approaching trees in a formal constructive environment allows us to realize properties of trees, inherent in their structure. Specifically we will look at the evidence provided by the predicates which operate on these trees. This evidence, expressed in terms of logical and programming languages, is realizable...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Approximate Reasoning
سال: 1999
ISSN: 0888-613X
DOI: 10.1016/s0888-613x(98)10025-7